"countably infinite" meaning in English

{
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "countably infinite (not comparable)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Set theory",
          "orig": "en:Set theory",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "coordinate_terms": [
        {
          "topics": [
            "set-theory",
            "mathematics",
            "sciences"
          ],
          "word": "finite"
        },
        {
          "topics": [
            "set-theory",
            "mathematics",
            "sciences"
          ],
          "word": "uncountable"
        }
      ],
      "examples": [
        {
          "text": "1953 [Addison-Wesley], Bruce Elwyn Meserve, Fundamental Concepts of Algebra, 1982, Dover, page 36,\nThis one-to-one correspondence between the set of positive integers and the set of pairs of positive integers indicates that the set of pairs is countably infinite. Since the set of positive rational numbers is a subset of the set of all pairs of positive integers, the set of positive rational numbers is at most countably infinite. Then, since it is also at least countably infinite, the set of positive rational numbers is countably infinite."
        },
        {
          "ref": "1970, Edna E. Kramer, “The Nature and Growth of Modern Mathematics”, in Paperback, Princeton University Press, published 1982, page 332:",
          "text": "Instead of saying that the aggregate of natural numbers is countably infinite (see Chapter 24), one can use Cantor's symbolism and state that its cardinal number is #x5C;aleph#x5F;0 (read aleph null).[…]Now the range of a random variable may be a finite set, a countably infinite set, or a continuum.",
          "type": "quote"
        },
        {
          "ref": "2000, Ethan D. Bloch, Proofs and Fundamentals: A First Course in Abstract Mathematics, Springer (Birkhäuser), page 211:",
          "text": "The term “countably infinite” would seem to suggest that such a set is infinite. However, the definitions of “countably infinite” and “infinite” were made separately, and so we have to prove that countably infinite sets are indeed infinite (otherwise our notation would be rather misleading).",
          "type": "quote"
        }
      ],
      "glosses": [
        "That is both countable and infinite; having the same cardinality as the set of natural numbers; formally, such that a bijection exists from ℕ to the set."
      ],
      "hypernyms": [
        {
          "topics": [
            "set-theory",
            "mathematics",
            "sciences"
          ],
          "word": "countable"
        },
        {
          "topics": [
            "set-theory",
            "mathematics",
            "sciences"
          ],
          "word": "infinite"
        }
      ],
      "id": "en-countably_infinite-en-adj-Utnx1569",
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "countable",
          "countable"
        ],
        [
          "infinite",
          "infinite"
        ],
        [
          "cardinality",
          "cardinality"
        ],
        [
          "natural numbers",
          "natural numbers"
        ],
        [
          "bijection",
          "bijection"
        ],
        [
          "ℕ",
          "ℕ"
        ]
      ],
      "raw_glosses": [
        "(set theory, of a set) That is both countable and infinite; having the same cardinality as the set of natural numbers; formally, such that a bijection exists from ℕ to the set."
      ],
      "raw_tags": [
        "of a set"
      ],
      "related": [
        {
          "word": "continuum"
        }
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ]
    }
  ],
  "word": "countably infinite"
}

{
  "coordinate_terms": [
    {
      "topics": [
        "set-theory",
        "mathematics",
        "sciences"
      ],
      "word": "finite"
    },
    {
      "topics": [
        "set-theory",
        "mathematics",
        "sciences"
      ],
      "word": "uncountable"
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "countably infinite (not comparable)",
      "name": "en-adj"
    }
  ],
  "hypernyms": [
    {
      "topics": [
        "set-theory",
        "mathematics",
        "sciences"
      ],
      "word": "countable"
    },
    {
      "topics": [
        "set-theory",
        "mathematics",
        "sciences"
      ],
      "word": "infinite"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "related": [
    {
      "word": "continuum"
    }
  ],
  "senses": [
    {
      "categories": [
        "English adjectives",
        "English adverb-adjective phrases",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English terms with quotations",
        "English uncomparable adjectives",
        "Pages with 1 entry",
        "Pages with entries",
        "en:Set theory"
      ],
      "examples": [
        {
          "text": "1953 [Addison-Wesley], Bruce Elwyn Meserve, Fundamental Concepts of Algebra, 1982, Dover, page 36,\nThis one-to-one correspondence between the set of positive integers and the set of pairs of positive integers indicates that the set of pairs is countably infinite. Since the set of positive rational numbers is a subset of the set of all pairs of positive integers, the set of positive rational numbers is at most countably infinite. Then, since it is also at least countably infinite, the set of positive rational numbers is countably infinite."
        },
        {
          "ref": "1970, Edna E. Kramer, “The Nature and Growth of Modern Mathematics”, in Paperback, Princeton University Press, published 1982, page 332:",
          "text": "Instead of saying that the aggregate of natural numbers is countably infinite (see Chapter 24), one can use Cantor's symbolism and state that its cardinal number is #x5C;aleph#x5F;0 (read aleph null).[…]Now the range of a random variable may be a finite set, a countably infinite set, or a continuum.",
          "type": "quote"
        },
        {
          "ref": "2000, Ethan D. Bloch, Proofs and Fundamentals: A First Course in Abstract Mathematics, Springer (Birkhäuser), page 211:",
          "text": "The term “countably infinite” would seem to suggest that such a set is infinite. However, the definitions of “countably infinite” and “infinite” were made separately, and so we have to prove that countably infinite sets are indeed infinite (otherwise our notation would be rather misleading).",
          "type": "quote"
        }
      ],
      "glosses": [
        "That is both countable and infinite; having the same cardinality as the set of natural numbers; formally, such that a bijection exists from ℕ to the set."
      ],
      "links": [
        [
          "set theory",
          "set theory"
        ],
        [
          "countable",
          "countable"
        ],
        [
          "infinite",
          "infinite"
        ],
        [
          "cardinality",
          "cardinality"
        ],
        [
          "natural numbers",
          "natural numbers"
        ],
        [
          "bijection",
          "bijection"
        ],
        [
          "ℕ",
          "ℕ"
        ]
      ],
      "raw_glosses": [
        "(set theory, of a set) That is both countable and infinite; having the same cardinality as the set of natural numbers; formally, such that a bijection exists from ℕ to the set."
      ],
      "raw_tags": [
        "of a set"
      ],
      "tags": [
        "not-comparable"
      ],
      "topics": [
        "mathematics",
        "sciences",
        "set-theory"
      ]
    }
  ],
  "word": "countably infinite"
}